LIS 668, Digital Curation School of Library and Information Studies University of Wisconsin-Madison Spring 2014 Dorothea  Salo  (please  call  me  “Dorothea”)    

Source URL: files.dsalo.info

• Digital preservation
• Digital libraries
• Archival science
• Records management
• Knowledge representation
• Digital curation
• Open Archival Information System
• National Digital Information Infrastructure and Preservation Program
• Fedora Commons
• Born-digital
• Web archiving
• DuraSpace

Discovery of Technical Expertise from Open Source Code Repositories 1 Rahul Venkataramani1 , Atul Gupta2

Source URL: www2013.wwwconference.org

• Computing
• Software
• Community websites
• Cross-platform software
• GitHub
• Project management software
• South of Market
• San Francisco
• Recommender system
• Tag
• Institutional repository
• Git

SUPERDESK FAQ What is Superdesk? Superdesk is a newsroom management system. It is an end-to-end news creation, production, curation, distribution and publishing platform. Built by journalists, for journalists, Superdesk

Source URL: www.sourcefabric.org

• Sourcefabric
• Newsroom
• Free software
• News
• Open-source software
• Campsite

[0-2] ICSU WORLD DATA SYSTEM: TRUSTED DATA SERVICES FOR OPEN SCIENCE M Mokrane* *1ICSU World Data System IPO, c/o NICT, 4-2-1 Nukui-kitamachi, Koganei, Tokyo, Japan. Email:

Source URL: isds.nict.go.jp

PeaZip Open source, portable file and archive manager Document revision: Author: Giorgio Tani Translation: Giorgio Tani

Source URL: www.peazip.org

• Software
• System software
• File archivers
• Portable software
• PeaZip
• GNOME Files
• File manager
• Taskbar
• RAR
• Context menu
• 7-Zip
• Classic Shell

Annual Report 2014 For an Open Internet CopyrightNLnet Labs.

Source URL: www.nlnetlabs.nl

• Domain name system
• Domain Name System Security Extensions
• OpenDNSSEC
• Unbound
• NSD
• NLnet
• Root name server
• DNS-based Authentication of Named Entities
• Name server
• OpenDNS
• Netnod
• Dynamic DNS

Verifying an Open Compiler Using Multi-Language Semantics James T. Perconti and Amal Ahmed Northeastern University Abstract. Existing verified compilers are proved correct under a closed-world assumption, i.e., that the

Source URL: www.ccs.neu.edu

• Logic
• Theoretical computer science
• Automated theorem proving
• Logic programming
• Logical truth
• Propositional calculus
• Substitution
• Mathematical logic
• Security type system
• Symbol

2016 Enrolments will open 1st SeptemberThe myQAP system has undergone additional software developments to further enhance the 2016 enrolment experience. Below is a checklist that we hope will assist with the enrol

Source URL: myqapdocs.s3.amazonaws.com

Open PhD Position in System Security We are looking for an outstanding PhD candidate to join our Systems Security Group at Intel Collaborative Research Institute for Secure Computing (ICRI-SC) at TU-Darmstadt to work on

Source URL: www.cased.de

Open telecom platform Seved Torstendahl The open telecom platform (OTP) is a development system platform for building telecommunications applications, and a control system platform for running them. The platform, whose a

Source URL: www.erlang.se